扫一扫
关注中图网
官方微博
-
-
R-演算:一种信念修正的逻辑(英文版)(R-CALCULUS: A LOGIC OF BELIEF REVISION)
¥91.0(7折)定价:¥130.0R-演算是非单调的Gentzen型演绎系统，是一种具体的信念修正算子，被证明满足AGM假设和DP假设。本书是为了扩展R演算（i）从一阶逻辑到命题逻辑，描述逻辑，模态逻辑和逻辑编程；（ii）从最小变化语义到子集最小变化，伪子公式最小变化和基于演绎的最小变化（最后两个最小变化是新定义的）；并针对这些极小值证明合理性和完整性定理。这些逻辑的变化。为了使R-演算可计算，我们在递归理论中给出了使用有限伤害优先级方法的近似R-演算。此外，R演算的
-
精品课程立体化教材系列信息管理概论/赵捧未
¥32.4(7.2折)定价:¥45.0本书是"信息管理与信息系统"专业的专业基础课教材，具有专业导引性、入门性。通过学生学习信息管理的基本原理、基本方法和过程及信息系统概念和开发方法初步，对信息管理理论方法和信息系统实践进行系统的思考，初步培养信息素质和信息管理能力，进一步明确"信息管理与信息系统"专业在企业和社会信息化建设中的作用，为培养高素质信息管理复合型人才奠定基本的知识基础。本书内容包括：信息管理的内涵，信息管理的基本原理、方法，信息管理的全过程；信息系统、战略信
-
R-演算:一种信念修正的逻辑
¥99.4(7.2折)定价:¥138.0信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的很基本条件。本书作者李未院士在20世纪8年代中期提出R-演算，这是一个满足AGM公设，非单调的，并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展，将为研究生寻找研究方向和研究思路提供一定帮助。本书可作为人工智能，计算机科学
